Recognizing splicing languages: Syntactic monoids and simultaneous pumping
نویسندگان
چکیده
We use syntactic monoid methods, together with an enhanced pumping lemma, to investigate the structure of splicing languages. We obtain an algorithm for deciding whether a regular language is a reflexive splicing language, but the general question remains open.
منابع مشابه
Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages
Based on different concepts to obtain a finer notion of language recognition via finite monoids we develop an algebraic structure called typed monoid. This leads to an algebraic description of regular and non regular languages. We obtain for each language a unique minimal recognizing typed monoid, the typed syntactic monoid. We prove an Eilenberg-like theorem for varieties of typed monoids as w...
متن کاملLanguages and monoids with disjunctive identity.dvi
We show that the syntactic monoids of insertion-closed, deletionclosed and dipolar-closed languages are the groups. If the languages are insertionclosed and congruence simple, then their syntactic monoids are the monoids with disjunctive identity. We conclude with some properties of dipolarclosed languages.
متن کاملVarieties of Tree Languages Definable by Syntactic Monoids
An algebraic characterization of the families of tree languages definable by syntactic monoids is presented. This settles a question raised by several
متن کاملDescriptional Complexity of the Languages KaL: Automata, Monoids and Varieties
The first step when forming the polynomial hierarchies of languages is to consider languages of the form KaL where K and L are over a finite alphabet A and from a given variety V of languages, a ∈ A being a letter. All such KaL’s generate the variety of languages BPol1(V ). We estimate the numerical parameters of the language KaL in terms of their values for K and L. These parameters include th...
متن کاملCommutative Positive Varieties of Languages
We study the commutative positive varieties of languages closed under various operations: shuffle, renaming and product over one-letter alphabets. Most monoids considered in this paper are finite. In particular, we use the term variety of monoids for variety of finite monoids. Similarly, all languages considered in this paper are regular languages and hence their syntactic monoid is finite.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Discrete Applied Mathematics
دوره 155 شماره
صفحات -
تاریخ انتشار 2007